- checking operation
- проверочная операция, контрольная операция
English-Russian dictionary of mechanical engineering and automation. - RUSSO. B.S. Voskoboinikov, V.L. Mitrovich. 2003.
English-Russian dictionary of mechanical engineering and automation. - RUSSO. B.S. Voskoboinikov, V.L. Mitrovich. 2003.
Operation Ring — Part of Nagorno Karabakh War Date April 30, 1991 – May 15, 1991 Location Shahumyan Voskepar, Armenia … Wikipedia
Operation Courageous — Part of the Korean War … Wikipedia
Operation Musketoon — Part of Second World War G … Wikipedia
Operation Takeover — Studio album by JT the Bigga Figga Released 1996 Recorded 1996 … Wikipedia
Operation Wrath of God — Wrath of God redirects here. For the 1972 film by Werner Herzog, see Aguirre, the Wrath of God. For the theological concept, see divine retribution. Operation Wrath of God (Hebrew: מבצע זעם האל, Mivtza Za am Ha el),[nb 1] also called Operation… … Wikipedia
Operation Fustian — Part of Allied invasion of Sicily … Wikipedia
Operation Deadstick — Part of Normandy landings … Wikipedia
Operation Ivory Coast — Coordinates: 21°8′39.68″N 105°29′45.17″E / 21.1443556°N 105.4958806°E / 21.1443556; 105.4958806 … Wikipedia
checking out — Termination of the status of a person as guest in a hotel. 29 Am J Rev ed Innk § 25; the operation in a supermarket whereby the customer s purchases are totaled, payment made by him, and the merchandise placed in bags for convenience in… … Ballentine's law dictionary
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français